compound
\\[0ex]EquivRel($T$;$x$,$y$.$E$($x$;$y$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Refl($T$;$x$,$y$.$E$($x$;$y$)) \& Sym($T$;$x$,$y$.$E$($x$;$y$)) \& Trans($T$;$x$,$y$.$E$($x$;$y$))